module Module

((): a * b * c)
